p(1,2).
p(1,3).
p(2,4).
p(2,5).
p(3,6).
p(3,7).
p(4,8).
p(4,9).
p(5,10).
p(5,11).
p(6,12).
p(6,13).
p(7,14).
p(7,15).
